Using Pydantic for ETL - Clean, Validate, and Transform Data with Confidence
dev.toยท11hยท
Discuss: DEV
โœ…Format Validation
Three ways formally verified code can go wrong in practice
buttondown.comยท1h
๐Ÿ“œProof Carrying Code
Mastering Zod Validation Mastering Data Validation and Error Handling in TypeScript with Zod
blog.codeminer42.comยท2d
โœ…Format Validation
Markdown2pdf โ€“ pure md to pdf transpiler implementation in Rust
github.comยท8hยท
Discuss: Hacker News
๐Ÿ“„PDF Internals
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.orgยท15h
๐Ÿ”—Graph Isomorphism
Crafting a Full Exploit RCE from a Crash in Autodesk Revit RFA File Parsing
thezdi.comยท2d
๐ŸงชBinary Fuzzing
XProc 3 Steps as XSpec Test Helper Functions
medium.comยท2h
๐Ÿ”€XSLT
Ensuring Safe and Reliable Updates with Qualys TruRiskโ„ข Manifest Version Control
blog.qualys.comยท1d
โœ…Archive Fixity
We built AI that auto-checks building plans
planchecksolver.comยท2hยท
Discuss: Hacker News
๐Ÿ”„Reproducible Builds
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.orgยท19hยท
Discuss: Hacker News
๐Ÿ”ขReed-Solomon Math
A Retrospective Survey of 2024/2025 Open Source Supply Chain Compromises
words.filippo.ioยท3hยท
๐Ÿ”“Open Source Software
Modern C and initializing an array
subethasoftware.comยท1d
๐Ÿ—‚Data structures
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.comยท19h
๐ŸŒŠStreaming Systems
MultiPar 1.3.3.5 Beta / 1.3.2.9
scour.ingยท11h
๐ŸบZIP Archaeology
Let's Write a Macro in Rust
hackeryarn.comยท3hยท
Discuss: Hacker News
๐Ÿฆ€Rust Macros
Open Lineage
usenix.orgยท15h
๐Ÿ”ŒInterface Evolution
Re-factoring a large Flask template to accommodate Jinja and AI coding
circusscientist.comยท1d
๐ŸŒ€Brotli Internals
10 Data + AI Observations for Fall 2025
towardsdatascience.comยท5h
๐ŸŒŠStream Processing
An enough week
blog.mitrichev.chยท23hยท
๐Ÿ“ˆLinear programming
7-Zip: Information on closed security gaps available
heise.deยท8h
๐Ÿ’ฃZIP Vulnerabilities